\begin{tabbing}
$\forall$\=$A$:Type, $I$:MaInterface($A$), $l$:IdLnk, ${\it tg}$:Id,\+
\\[0ex]${\it nmr}$:Namer(2;[${\it tg}$; lname($l$)] @ ma{-}interface{-}tags($I$)).
\-\\[0ex]Normal($A$,$I$)
\\[0ex]$\Rightarrow$ gluable($I$;$l$;${\it tg}$)
\\[0ex]$\Rightarrow$ gluable2($A$;$I$;$l$;${\it tg}$)
\\[0ex]$\Rightarrow$ $\vdash$${\it es}$.ma{-}interface{-}glued{-}p(${\it es}$;$A$;$I$;$l$;${\it tg}$)
\end{tabbing}